Secondary extensions, meanings and non-null terms.
نویسندگان
چکیده
منابع مشابه
Generalized Inflations and Null Extensions
An inflation of an algebra is formed by adding a set of new elements to each element in the original or base algebra, with the stipulation that in forming products each new element behaves exactly like the element in the base algebra to which it is attached. Clarke and Monzo have defined the generalized inflation of a semigroup, in which a set of new elements is again added to each base element...
متن کاملExtensions of nominal terms
This thesis studies two major extensions of nominal terms. In particular, we study an extension with λ-abstraction over nominal unknowns and atoms, and an extension with an arguably better theory of freshness and α-equivalence. Nominal terms possess two levels of variable: atoms a represent variable symbols, and unknowns X are ‘real’ variables. As a syntax, they are designed to facilitate metap...
متن کاملMeasuring the Vague Meanings of Probability Terms
Can the vague meanings of probability terms such as doubtful, probable, or likely be expressed as membership functions over the [0, 1] probability interval? A function for a given term would assign a membership value of /ero to probabilities not at all in the vague concept represented by the term, a membership value of one to probabilities definitely in the concept, and intermediate membership ...
متن کاملextensions, minimality and idempotents of certain semigroup compactifications
در فصل اول مقدمات و پیش نیازهای لازم برای فصل های بعدی فراهم گردیده است . در فصل دوم مساله توسیع مورد توجه قرار گرفته و ابتدا شرایطی که تحت آن از یک فشرده سازی نیم گروهی خاص یک زیرگروه نرمال بسته یک گروه به یک فشرده سازی متناظر با فشرده سازی اولیه برای گروه رسید مورد بررسی قرار گرفته و سپس ارتیاط بین ساختارهای مختلف روی این دو فشرده سازی از جمله ایده آل های مینیمال چپ و راست و... مورد بررسی قرا...
15 صفحه اولSecondary Characteristic Classes of Lie Algebra Extensions
We introduce a notion of secondary characteristic classes of Lie algebra extensions. As a spin-off of our construction we obtain a new proof of Lecomte’s generalization of the Chern–Weil homomorphism.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1973
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093890994